class C
{
	int foo() const
	out (bar)
	{
	}
	do
	{
	}
}
